<?php
include_once 'libraries/RepositoryAdmin.php';
echo $_GET["repositoryname"];
addNewRepository($_GET["repositoryname"],"dev8");
?>